Nuprl Definition : ma-msg
11,40
postcript
pdf
M
.Msg == Msg((
M
.2).1)
latex
Definitions
Msg(
da
)
,
t
.1
,
t
.2
FDL editor aliases
ma-msg
origin